81. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
82. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
83. Syntax-directed semantics :
پدیدآورنده : Zoltán Fülöp, Heiko Vogler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
رده :
QA76
.
7
Z658
1998
84. The Art of Modelling Computational Systems :
پدیدآورنده : Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
85. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
86. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
87. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjørner and O.N. Oest.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
88. Type systems for distributed programs :
پدیدآورنده : Ornela Dardha
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
رده :
QA76
.
76
.
V47
89. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
موضوع : Electronic digital computers - Programming,Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
90. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
91. XML Schema /
پدیدآورنده : Eric van der Vlist.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : XML (Document markup language),COMPUTERS-- Data Processing.,COMPUTERS-- Programming Languages-- XML.,Langages de balisage.,XML (Document markup language),XML.
رده :
QA76
.
76
.
H94
V36
2002
